Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
131	Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:26:38 Mathematical structures Algebraic structures Model theory Denotational semantics Structure Sheaf ALGOL 68 Universal algebra Vienna Development Method Mathematics Abstract algebra Algebra
132	Parchments for CafeOBJ logics? Till Mossakowski1 , Wieslaw Pawlowski2 , Donald Sannella3 , and Andrzej Tarlecki4 1 3 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-11-24 15:46:17 Metalogic Universal algebra Institution Structure Dual Adjoint functors Interpretation Signature Sigma-algebra Model theory Mathematics Mathematical logic
133	TRUE TEMPORAL REASONING UNIVERSAL ELABORATION True System dynamics software MANUAL Part 06 Add to Reading List Source URL: www.true-world.com Language: English - Date: 2014-02-13 05:05:16 Vectors Abstract algebra Vector calculus Euclidean vector Vector Sequence container Algebra Mathematics Linear algebra
134	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:06:27 Logic Mathematical structures Abstract algebra Universal algebra Algebraic structures Structure Term algebra Denotational semantics Interpretation Mathematics Mathematical logic Model theory
135	UNIVERSAL OPERATIONS IN HOCHSCHILD HOMOLOGY NATHALIE WAHL Abstract. We provide a general method for finding all natural operations on the Hochschild complex of E-algebras, where E is any algebraic structure encoded in a Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2014-03-11 09:42:38 Algebraic topology Category theory Monoidal categories Hochschild homology Ring theory Frobenius algebra Functor Cohomology Universal property Abstract algebra Algebra Homological algebra
136	NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by Add to Reading List Source URL: www.pvv.ntnu.no Language: English - Date: 2003-09-12 07:30:01 Monoidal categories Representation theory Algebras Lie groups Butcher group Universal enveloping algebra Lie algebra Coalgebra Bialgebra Abstract algebra Mathematics Hopf algebras
137	Stability of gravity-scalar systems for domain-wall models with a soft wall Damien P. George Nikhef theory group Amsterdam, The Netherlands Add to Reading List Source URL: dpgeorge.net Language: English - Date: 2010-10-28 11:33:50 Structure Universal algebra Fourier transform Differential equation Mathematical analysis Mathematics Model theory
138	ON QUANTUM GROUP GLp,q (2) arXiv:q-algJan 1997 Tanya Khovanova January 28, 1997 Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2008-02-26 17:10:01 Hopf algebras Ring theory Lie algebras Quantum group Universal enveloping algebra Steenrod algebra Clifford algebra Abstract algebra Algebra Representation theory
139	Index of concepts A absolutely free extension constructor, 263 abstract algebraic institution, 218 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-09-04 10:34:40 Universal algebra Category theory Model theory Algebraic structures Mathematical structures Adjoint functors Heyting algebra Functor Subalgebra Mathematics Abstract algebra Algebra
140	IMPLEMENTATION OF PARAMETERISED SPECIFICATIONS -- Extended A b s t r a c t * - - Donald Sannella Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:17:20 Structure Universal algebra Sheaf Logic Mathematics Model theory Algebraic topology

UPDATE